Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
A Vectorial Approach to Genetic Programming
2019-01-01 Azzali, Irene; Vanneschi, Leonardo; Silva, Sara; Bakurov, Illya; Giacobini, Mario
Type inference for nested self types (extended abstract)
2004-01-01 V. BONO; J. TIURYN; P. URZYCZYN
Temporal Multiagent Plan Execution: Explaining What Happened
2019-01-01 torta gianluca, micalizio roberto, sormano
Safe object composition in the presence of subtyping
2005-01-01 L. BETTINI; V. BONO; S. LIKAVEC
Qualitative Reachability for Open Interval Markov Chains
2018-01-01 J. Sproston
Protection of Personal Data in High Performance Computing Platform for Scientific Research Purposes
2021-01-01 Ludovica Paseri, Sébastien Varrette, Pascal Bouvry
A Polymorphic Language which is Typable and Poly-step
1998-01-01 L. ROVERSI
A Petri net formalism to study systems at different scales exploiting agent-based and stochastic simulations.
2021-01-01 Beccuti, M., Castagno, P., Franceschinis, G., Pennisi, M., Pernice, S.
A P-Time Completeness Proof for Light Logics
1999-01-01 L. ROVERSI
O'Klaim: a coordination language with mobile mixins
2004-01-01 L. BETTINI; V. BONO; B. VENNERI
NuchaRt: Embedding High-Level Parallel Computing in R for Augmented Hi-C Data Analysis
2016-01-01 Tordini, Fabio; Merelli, Ivan; Liò, Pietro; Milanesi, Luciano; Aldinucci, Marco
NearMe: Dynamic Exploration of Geographical Areas
2021-01-01 Noemi Mauro, Liliana Ardissono, Federico Torrielli, Gianmarco Izzi, Claudio Mattutino, Maurizio Lucenteforte, Marino Segnan
Markov decision Petri nets with uncertainty
2015-01-01 Beccuti, Marco; Amparore, Elvio G.; Donatelli, Susanna; Scheftelowitsch, Dimitri; Buchholz, Peter; Franceschinis, Giuliana
Magda: A New Language for Modularity
2012-01-01 Viviana Bono; Jarek Kusmierek; Mauro Mulatero
Looking back to the EVALITA Constituency Parsing Task: 2007-2011
2012-01-01 Cristina Bosco; Alessandro Mazzei; Alberto Lavelli
Logical Semantics for the First Order Sigma-Calculus
2003-01-01 Steffen van Bakel ; Ugo de' Liguoro
The Klaim Project: Theory and Practice
2003-01-01 L. Bettini;V. Bono;R. D. Nicola;G. Ferrari;D. Gorla;M. Loreti;E. Moggi;R. Pugliese;E. Tuosto;B. Venneri
Intersection Logic
2001-01-01 S. RONCHI DELLA ROCCA; ROVERSI L.
Extensible Objects: a Tutorial
2003-01-01 V. Bono
The EVALITA Dependency Parsing Task: from 2007 to 2011
2012-01-01 Cristina Bosco; Alessandro Mazzei
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Vectorial Approach to Genetic Programming | 2019 | Azzali, Irene; Vanneschi, Leonardo; Silva, Sara; Bakurov, Illya; Giacobini, Mario | |
| Type inference for nested self types (extended abstract) | 2004 | V. BONO; J. TIURYN; P. URZYCZYN | |
| Temporal Multiagent Plan Execution: Explaining What Happened | 2019 | torta gianluca, micalizio roberto, sormano | |
| Safe object composition in the presence of subtyping | 2005 | L. BETTINI; V. BONO; S. LIKAVEC | |
| Qualitative Reachability for Open Interval Markov Chains | 2018 | J. Sproston | |
| Protection of Personal Data in High Performance Computing Platform for Scientific Research Purposes | 2021 | Ludovica Paseri, Sébastien Varrette, Pascal Bouvry | |
| A Polymorphic Language which is Typable and Poly-step | 1998 | L. ROVERSI | |
| A Petri net formalism to study systems at different scales exploiting agent-based and stochastic simulations. | 2021 | Beccuti, M., Castagno, P., Franceschinis, G., Pennisi, M., Pernice, S. | |
| A P-Time Completeness Proof for Light Logics | 1999 | L. ROVERSI | |
| O'Klaim: a coordination language with mobile mixins | 2004 | L. BETTINI; V. BONO; B. VENNERI | |
| NuchaRt: Embedding High-Level Parallel Computing in R for Augmented Hi-C Data Analysis | 2016 | Tordini, Fabio; Merelli, Ivan; Liò, Pietro; Milanesi, Luciano; Aldinucci, Marco | |
| NearMe: Dynamic Exploration of Geographical Areas | 2021 | Noemi Mauro, Liliana Ardissono, Federico Torrielli, Gianmarco Izzi, Claudio Mattutino, Maurizio Lucenteforte, Marino Segnan | |
| Markov decision Petri nets with uncertainty | 2015 | Beccuti, Marco; Amparore, Elvio G.; Donatelli, Susanna; Scheftelowitsch, Dimitri; Buchholz, Peter; Franceschinis, Giuliana | |
| Magda: A New Language for Modularity | 2012 | Viviana Bono; Jarek Kusmierek; Mauro Mulatero | |
| Looking back to the EVALITA Constituency Parsing Task: 2007-2011 | 2012 | Cristina Bosco; Alessandro Mazzei; Alberto Lavelli | |
| Logical Semantics for the First Order Sigma-Calculus | 2003 | Steffen van Bakel ; Ugo de' Liguoro | |
| The Klaim Project: Theory and Practice | 2003 | L. Bettini;V. Bono;R. D. Nicola;G. Ferrari;D. Gorla;M. Loreti;E. Moggi;R. Pugliese;E. Tuosto;B. Venneri | |
| Intersection Logic | 2001 | S. RONCHI DELLA ROCCA; ROVERSI L. | |
| Extensible Objects: a Tutorial | 2003 | V. Bono | |
| The EVALITA Dependency Parsing Task: from 2007 to 2011 | 2012 | Cristina Bosco; Alessandro Mazzei |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile